package edu.gatech.cc.concolic.constraint;

public interface Constraint {
	
	public void accept(ConstraintVisitor visitor);
	
}
